INST64_M47 M47; // purge translation entry
} INST64;
+#ifdef __XEN__
extern unsigned long __vmx_get_domain_bundle(unsigned long iip, IA64_BUNDLE *pbundle);
extern IA64_BUNDLE __get_domain_bundle(unsigned long iip);
+#endif
#define MASK_41 ((unsigned long)0x1ffffffffff)
* Dan Magenheimer (dan.magenheimer@hp.com)
*/
-#include <linux/efi.h>
-
/* Portion of guest physical memory space reserved for PAL/SAL/EFI/ACPI
data and code. */
#define FW_BASE_PADDR 0x0000UL
/* Additionnal OEM SAL. */
#define SAL_XEN_SAL_RETURN 0x02000000
+#ifdef __XEN__
+#include <linux/efi.h>
extern struct ia64_pal_retval xen_pal_emulator(u64, u64, u64, u64);
extern struct sal_ret_values sal_emulator (long index, unsigned long in1, unsigned long in2, unsigned long in3, unsigned long in4, unsigned long in5, unsigned long in6, unsigned long in7);
extern struct ia64_pal_retval pal_emulator_static (unsigned long);
extern efi_status_t efi_emulator (struct pt_regs *regs, unsigned long *fault);
extern int dom_fw_setup (struct domain *, unsigned long bp_mpa, unsigned long maxmem);
+#endif
#include <asm/uaccess.h> /* for KERNEL_DS */
#include <asm/pgtable.h>
-/* Guest physical address of IO ports space. */
-#define IO_PORTS_PADDR 0x00000ffffc000000UL
-#define IO_PORTS_SIZE 0x0000000004000000UL
-
int
do_perfmon_op(unsigned long cmd,
XEN_GUEST_HANDLE(void) arg1, unsigned long arg2);
#define MEM_G (1UL << 30)
#define MEM_M (1UL << 20)
+/* Guest physical address of IO ports space. */
+#define IO_PORTS_PADDR 0x00000ffffc000000UL
+#define IO_PORTS_SIZE 0x0000000004000000UL
+
#define MMIO_START (3 * MEM_G)
#define MMIO_SIZE (512 * MEM_M)